- цепочка логического вывода
- infchaîne d’inférences
Русско-французский политехнический словарь. 2013.
цепочка логического вывода
Regardez d'autres dictionnaires:
СЕМАНТИЧЕСКИЕ СЕТИ — (англ. semantic nets) представляют собой модели хранения понятий (слов, высказываний) в семантической памяти. Их организация и структурирование основаны на содержательном описании понятий и слов, обозначающих эти понятия и составляющих содержание … Большая психологическая энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ … Православная энциклопедия
Вертикальная черта — | ¦ Вертикальная черта Пунктуация апостроф ( … Википедия
Евклид — У этого термина существуют и другие значения, см. Евклид (значения). Евклид Εὐκλείδης … Википедия
